-
1 Formal Propositional Calculus
Electronics: FPCУниверсальный русско-английский словарь > Formal Propositional Calculus
-
2 calculus
-
3 FPC
1) Военный термин: Federal Port Controller, Federal Power Commission, facility power control, field press censorship, fixed-price contract, flight path control, for private circulation2) Техника: final processing center, fine particulate control, fixed paper capacitor, fixed point calculation, fixed program computer, flexible printed circuit, flight programmer computer, fuel pool cooling3) Шутливое выражение: Flaming Puppet Channel, Fucking Persian Canadian4) Математика: поправка для конечной совокупности (finite population correction)5) Экономика: free carrier named point6) Сокращение: Fast Pursuit Craft, Fish Protein Concentrate, fast patrol craft, Federal Power Commission (US)7) Электроника: Formal Propositional Calculus, (board) гибкая печатная плата8) Вычислительная техника: Floating Point Coprocessor, факсимильный персональный компьютер9) Транспорт: Fish Passage Center10) Деловая лексика: Fiscal Period Close11) Нефтегазовая техника Федеральная комиссия по энергетике (США, Federal Power Commission)12) Сетевые технологии: facsimile personal computer, факсимильный ПК13) Программирование: Four Packed Code14) Контроль качества: (Factory Production Control) Внутренний производственный контроль15) Безопасность: field per second16) Расширение файла: Floating Point Calculation17) Должность: Fire Protection Consulting18) NYSE. Florida Progress Corporation19) Программное обеспечение: Free Pascal Compiler20) Федеральное бюро расследований: Fingerprint Classification -
4 fpc
1) Военный термин: Federal Port Controller, Federal Power Commission, facility power control, field press censorship, fixed-price contract, flight path control, for private circulation2) Техника: final processing center, fine particulate control, fixed paper capacitor, fixed point calculation, fixed program computer, flexible printed circuit, flight programmer computer, fuel pool cooling3) Шутливое выражение: Flaming Puppet Channel, Fucking Persian Canadian4) Математика: поправка для конечной совокупности (finite population correction)5) Экономика: free carrier named point6) Сокращение: Fast Pursuit Craft, Fish Protein Concentrate, fast patrol craft, Federal Power Commission (US)7) Электроника: Formal Propositional Calculus, (board) гибкая печатная плата8) Вычислительная техника: Floating Point Coprocessor, факсимильный персональный компьютер9) Транспорт: Fish Passage Center10) Деловая лексика: Fiscal Period Close11) Нефтегазовая техника Федеральная комиссия по энергетике (США, Federal Power Commission)12) Сетевые технологии: facsimile personal computer, факсимильный ПК13) Программирование: Four Packed Code14) Контроль качества: (Factory Production Control) Внутренний производственный контроль15) Безопасность: field per second16) Расширение файла: Floating Point Calculation17) Должность: Fire Protection Consulting18) NYSE. Florida Progress Corporation19) Программное обеспечение: Free Pascal Compiler20) Федеральное бюро расследований: Fingerprint Classification
См. также в других словарях:
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
propositional calculus — Logic. See sentential calculus. [1900 05] * * * Formal system of propositions and their logical relationships. As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its… … Universalium
propositional calculus — noun a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them • Syn: ↑propositional logic • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal logic … Useful english dictionary
Calculus (disambiguation) — Calculus is Latin for pebble, and has a number of meanings in English: In mathematics and computer science Calculus , in its most general sense, is any method or system of calculation. To modern theoreticians the answer to the question what is a… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Propositional representation — Articleissues unreferenced = March 2008 technical = March 2008 introrewrite = March 2008Propositional representation is symbolic description.Other AttributesPropositional representations are also:*Language like only in the sense that they… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Calculus — This article is about the branch of mathematics. For other uses, see Calculus (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables … Wikipedia